structure S =
struct
  type 'a t (= boxed)
end
